OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
نویسندگان
چکیده
منابع مشابه
Observing Distribution in Processes: Static and Dynamic Localities
The distributed structure of CCS processes can be made explicit by assigning diierent locations to their parallel components. The assignment of locations may be done statically, or dynamically as the execution proceeds. The dynamic approach was developed rst, by Boudol et al., as it appeared more convenient for deening notions of location equivalence and preorder. Extending previous work by L. ...
متن کاملObserving Processes
This paper discusses the sorts of observations of processes that are appropriate to capture priority. The standard denotational semantics for CSP are based around observations of traces and refusals. Choosing to record a little more detail allows extensions of CSP which describe some very general processes including those that include priority. A minimal set of observations yields a language an...
متن کاملHigh-speed atomic force microscopy for observing dynamic biomolecular processes.
The atomic force microscope (AFM) is unique in its capability to capture high-resolution images of biological samples in liquids. This capability will become more valuable to biological sciences if AFM additionally acquires an ability of high-speed imaging, because 'direct and real-time visualization' is a straightforward and powerful means to understand biomolecular processes. With conventiona...
متن کاملObserving Responses and Decision Processes
Vigilance performance was investigated within the framework of a two-stage model. A direct measure of the first phase, the observing response (OR) stage, was obtained by requiring Ss to key press to produce the stimulus display containing either a signal or noise. The second phase, the detection-decision stage, was analyzed using both conventional measures and those derived from the theory of s...
متن کاملSpecifying And Analysing Static And Dynamic Patterns Of Administrative Processes
In the last decade, patterns have proved their effectiveness for the reuse of software development artifacts from early as well as late phases of the process. This paper proposes analysis patterns based on accurate and thorough observations of administrative processes such as organizing meetings, making group decisions, hiring of personnel, etc. The patterns proposed in this work are characteri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Foundations of Computer Science
سال: 1995
ISSN: 0129-0541,1793-6373
DOI: 10.1142/s0129054195000196